nLab Mackey functor

Contents

under construction

Context

Homotopy theory

homotopy theory, (∞,1)-category theory, homotopy type theory

flavors: stable, equivariant, rational, p-adic, proper, geometric, cohesive, directed

models: topological, simplicial, localic, …

see also algebraic topology

Introductions

Definitions

Paths and cylinders

Homotopy groups

Basic facts

Theorems

Stable Homotopy theory

Contents

Idea

Generally, the term Mackey functor refers to an additive functor from a (subcategory of) a category of correspondences (in a disjunctive category 𝒞\mathcal{C}) to possibly any other additive category which however usually is the “base” abelian category. More generally the term now refers to the fairly obvious homotopy theoretic or higher categorical refinements of this concept.

Therefore the concept of Mackey functors is similar to that of sheaves with transfer and as such appears (implicitly) in the discussion of motives (explicitly e.g. in Kahn-Yamazaki 11, section 2, where 𝒞\mathcal{C} is a category of suitable schemes).

Specifically, the concept was introduced and named as such in the context of representation theory (Dress 71) and equivariant homotopy theory/equivariant cohomology (May 96). Here the underlying category of correspondences is that in finite G-sets, called the Burnside category.

The equivariant homotopy groups π n(E)\pi_n(E) of a (genuine) G-spectrum EE organize into a Mackey functor on the Burnside category with values in abelian groups. This plays a key role in the equivariant Whitehead theorem. In fact, genunine G-spectra themselves are equivalent to Mackey (∞,1)-functors from the Burnside category to the (∞,1)-category of spectra (GuillouMay 11, Barwick 14).

Definition

In higher category theory

We follow the account in (Barwick 14), which incarnates a perspective of (Lindner 76) in higher category theory.

Let 𝒞\mathcal{C} be a disjunctive (∞,1)-category and write Span(𝒞)\Span(\mathcal{C}) for the (∞,1)-category of correspondences in 𝒞\mathcal{C} and let 𝒜\mathcal{A} be an (∞,1)-category with finite products.

Then an 𝒜\mathcal{A}-valued Mackey functor on 𝒞\mathcal{C} is a product-preserving functor

M:Span(𝒞)𝒜. M \;\colon\; \Span(\mathcal{C}) \longrightarrow \mathcal{A} \,.

Notice that this means that MM is in particular:

  1. a covariant (∞,1)-functor () *:𝒞𝒜(-)_\ast \colon\mathcal{C} \to \mathcal{A};

  2. a contravariant (∞,1)-functor, hence () *:𝒞 op𝒜(-)^\ast \colon\mathcal{C}^{op} \to \mathcal{A};

  3. satisfy the Beck-Chevalley condition.

In order to understand the Beck-Chevalley condition, note that disjunctiveness of 𝒞\mathcal{C} implies that Span(𝒞)\Span(\mathcal{C}) is semiadditive.

(More generally one may specify suitably chosen sub-(,1)(\infty,1)-categories 𝒞 ,𝒞 𝒞\mathcal{C}^\dagger, \mathcal{C}_\dagger \subset \mathcal{C} and restrict Span(𝒞)\Span(\mathcal{C}) to correspondences whose left leg is in 𝒞 \mathcal{C}_\dagger and whose right leg is in 𝒞 \mathcal{C}^\dagger (Barwick 14, section 5).)

In representation theory

In order to recover the original definition of Dress 71, we fix GG a finite group, and we let 𝔽 G\mathbb{F}_G be the (disjunctive) category of finite GG-sets. Then, the above definition specializes to GG by defining GG-Mackey functors as product-preserving functors

M:Span(𝔽 G)𝒜. M \;\colon\; \Span(\mathbb{F}_G) \longrightarrow \mathcal{A} \,.

Span(𝔽 G)\Span(\mathbb{F}_G) has biproducts given by disjoint unions of finite GG-sets; when 𝒜\mathcal{A} is a semiadditive category, such a functor may be decompiled into

  1. a covariant functor () *:𝒪 G𝒜(-)_\ast \colon \mathcal{O}_G \to \mathcal{A} and

  2. a contravariant functor () *:𝒪 G op𝒜(-)^\ast \colon \mathcal{O}_G^{\op} \to \mathcal{A}, subject to the conditions that

  3. there exists a non-natural isomorphism () *() *(-)_\ast \simeq (-)^\ast, and

  4. writing R J HR^H_J for the contravariant effect of in inclusion JHJ \subset H and I J HI^H_J for the covariant effect, MM satisfies the double coset formula

    R J HI K H() x[J\H/K]I J xK JR J xK K() R_J^H I_K^H(-) \simeq \bigoplus_{x \in [J\backslash H/K]} I_{J \cap ^x K}^J R_{J^x \cap K}^{K}(-)

    for all J,KHJ,K \subset H, where xKxKx 1^x K \coloneqq xKx^{-1}.

Examples

In representation theory

For 𝒜\mathcal{A} taken to be (the derived category) of an abelian category (or better: postcomposed with a homological functor ) this definition reduces (Barwick 14) to that of Mackey functors as originally defined in (Dress 71). Fixing GG a finite group, we acquire the following examples (see section 3.2 of Blumberg 17).

  1. Let R𝒜R \in \mathcal{A} be an object in 𝒜\mathcal{A}. Then, the constant Mackey functor R̲\underline{R} assigns RR to every transitive GG-set, whose restriction maps are all the identity, and whose transfer maps G/HG/KG/H \rightarrow G/K are multiplication by |H/K|\left| H/K \right|.

  2. The Burnside Mackey functor A(G)A(G) is defined by letting A(G)([G/H])A(G)([G/H]) be the Grothendieck group of the cocartesian symmetric monoidal category of finite HH-sets, with restriction and transfer given by restriction and induction, respectively.

  3. The representation Mackey functor R(G)R(G) is defined by letting R(G)([G/H])R(G)([G/H]) be the Grothendieck group of the symmetric monoidal category of finite-dimensional HH-representations, with restriction and transfer given by restriction and induction, respectively.

Equivariant spectra

Let GG be a finite group. Let 𝒞=𝔽 G\mathcal{C}= \mathbb{F}_G be the category of finite G-sets. Then Corr 1(𝒞)Corr_1(\mathcal{C}) is essentially what is called the Burnside category of GG (possibly after abelianizing/stabilizing the hom-spaces suitably, but as (Barwick 14) highlights, this is unnecessary when one is mapping out of this into something abelian/stable, as is the case here).

For GG finite, Mackey functors on 𝒞\mathcal{C} are equivalent to genuine G-spectra (Guillou-May 11, theorem 0.1, Barwick 14, below example B.6) (Notice that this equivalence does not in general hold if GG is not a finite group.)

(…)

For EE a genuine G-spectrum, the corresponding spectral Mackey functor is given by the fixed point spectra of EE

G/HE(G/H)=[Σ + G/H,E] GE H, G/H \mapsto E(G/H) = [\Sigma^\infty_+ G/H, E]^G \simeq E^H \,,

where on the right we have the GG-equivariant mapping spectrum from the equivariant suspension spectrum of the transitive G-set G/HG/H to EE.

(e.g. (Guillou-May 11, remark 2.5), see also (Schwede 15, p. 16) for restriction and section 4 culminating on p. 37 for transfer and compatibility).

Further, the corresponding abelian-group valued Mackey functor is

π n(E):G/H[G/H +S n,X] G, \pi_n(E) \colon G/H \mapsto [G/H_+\wedge S^n, X]_G \,,

where now on the right we have just the homotopy classes of maps, i.e. the morphisms in the equivariant stable homotopy category (e.g. Greenlees-May 95, p. 43)

(…)

Cohomology with coefficients in a Mackey functor

We discuss cohomology of topological G-spaces with coefficients in a Mackey functor, following notation and conventions as in (May 96, sections IX, X). See also (Greenlees-May 95, p. 9).

Defininition

For XX a pointed G-CW complex, define the chain complex C (X)C_\bullet(X) of Mackey functors to be given by the stable equivariant homotopy groups of the quotient spaces X /X 1X^{\bullet}/X^{\bullet-1}:

C n(X)π n(X n/X n1), C_n(X) \coloneqq \pi_n(X^n/X^{n-1}) \,,

Then for AA any Mackey functor, the ordinary cohomology of XX with coefficients in AA is the cochain cohomology of the complex of homs of Mackey functors C n(X)AC_n(X) \to A:

H G n(X,A)H n(Hom(C (X),A)). H_G^n(X,A) \coloneqq H^n( Hom(C_\bullet(X), A) ) \,.

More generally, for VV a G-representation, the (nV)(n-V)-RO(G)-graded cohomology of XX with coefficients in AA is

H G nV(X,A)=H G n(S VX,A). H_G^{n-V}(X,A) = H_G^n(S^V \wedge X,A) \,.

(May 96, section X.4 def. 4.1, def. 4.2)

Remark

The corresponding reduced cohomology H˜ n(,A)\tilde H^n(-,A) is represented by maps into the Eilenberg-MacLane G-space:

H˜ n(X,A)[X,K(A,n)] G. \tilde H^n(X,A) \simeq [X,K(A,n)]_G \,.

(Greenlees-May 95)

Remark

For this kind of cohomology, there is equivariant Serre spectral sequence (Kronholm 10).

References

Plain Mackey functors

The original article is

  • A. W. M. Dress, Notes on the theory of representations of finite groups. Part I: The Burnside ring of a finite group and some AGN-applications, Bielefeld, 1971,

The span perspective is due to

  • Harald Lindner, A remark on Mackey-functors, 1976 (pdf)

Reviews and surveys:

See also

  • Tammo tom Dieck, Transformation groups, Studies in Mathematics, vol. 8, Walter de Gruyter, Berlin, New York, 1987, x + 311 pp.,

  • Serge Bouc, chapter 1 of Green Functors and G-sets, LNM 1671 (1997; paperback 2008) doi:10.1007/BFb0095821

  • Tammo tom Dieck, Equivariant homology and Mackey functors, Mathematische Annalen 206, no.1, pp. 67–78, 1973 doi:10.1007/BF01431529

  • John Greenlees, Peter May, appendix A of Generalized Tate cohomology, Mem. Amer. Math. Soc. 113 (1995) no 543 (pdf)

  • D. Tambara, The Drinfeld center of the category of Mackey functors, J. Algebra 319, 10, pp. 4018-4101 (2008) doi:10.1016/j.jalgebra.2008.02.011

  • Elango Panchadcharam, Categories of Mackey Functors, PhD thesis, Macquarie Univ. 2006

  • William Kronholm, The RO(G)RO(G)-graded Serre spectral sequence, Homology Homotopy Appl. Volume 12, Number 1 (2010), 75-92. (pdf, Euclid)

For Mackey functors enriched over closed multicategories:

Relation of Mackey functors to sheaves with transfer in the theory of motives:

  • Bruno Kahn, Takao Yamazaki, Voevodsky’s motives and Weil reciprocity, Duke Mathematical Journal 162, 14 (2013) 2751-2796 (arXiv:1108.2764)

Categorification to Mackey 2-functors is discussed found in

Spectral Mackey functors

The general concept of spectral Mackey functors

In equivariant stable homotopy theory

The construction of equivariant stable homotopy theory in terms of spectral Mackey functors is originally due to

The generalization of K-theory of permutative categories to spectral Mackey functors is discussed in

In Goodwillie calculus

Discussion of Goodwillie calculus via spectral Mackey functors

Last revised on October 17, 2024 at 19:51:31. See the history of this page for a list of all contributions to it.